Fixed-point combinator - PDFSEARCH.IO - Document Search Engine

Fixed-point combinator
Results: 121

#	Item
51	Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2005-06-20 12:22:00 Recursion Proof theory Computability theory Logic in computer science Lambda calculus Symbol Natural deduction Curry–Howard correspondence Fixed-point combinator Theoretical computer science Mathematical logic Mathematics
52	Value Objects Brendan Eich <> Thursday, July 25, 13 Add to Reading List Source URL: esdiscuss.org Language: English C++ Recursion C++ classes Fixed-point combinator FO Boolean algebra Relational operator Finitary relation Distance from a point to a line Theoretical computer science Mathematics Mathematical logic
53	could be restricted to those for whi ch thi s promi se can be kept. Whi l e the mechani sms descri bed i n the PT proposal are onl y tangenti al l y rel evant to thi s i ssue { the same probl em woul d have ari sen i n d Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:01:40 Lambda calculus Recursion Applied mathematics English phonology Theoretical computer science Combinatory logic Fixed-point combinator
54	Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-15 07:34:21 Lambda calculus Type theory Combinatory logic Fixed-point combinator Recursion Type system Monad Declaration First-order logic Theoretical computer science Software engineering Mathematical logic
55	Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execu Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-23 06:00:00 Mathematical logic Function Lambda calculus Control flow analysis Combinatory logic Fixed-point combinator Mathematics Data-flow analysis Theoretical computer science
56	Current Versions of the TLA+ Tools Leslie Lamport 24 March 2013 This document describes differences between the descriptions of the TLA+ tools in the book Specifying Concurrent Systems and the currently released versions Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-24 13:41:03 Procedural programming languages TLC Tables Ladders and Chairs match Eval Fixed-point combinator Type system ALGOL 68 Computing Software engineering Programming language theory
57	The Lambda Calculus A Brief Introduction Georg P. Loczewski A Add to Reading List Source URL: www.aplusplus.net Language: English - Date: 2004-12-20 07:35:21 Applied mathematics Combinatory logic Fixed-point combinator Expression Hindley–Milner Free variables and bound variables Lambda Binary lambda calculus Lambda-mu calculus Lambda calculus Theoretical computer science Mathematics
58	William E. Byrd—Research Statement 1 Wishful Thinking, Lollipops, and Relational Programming When someone says “I want a programming language in which I need only say what I Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-04-12 16:50:44 Applied mathematics Logic in computer science Combinatory logic Fixed-point combinator Eval Symbol Prolog Futures and promises Theoretical computer science Computing Lambda calculus
59	Toward a Practical Type Theory for Recursive Modules Derek R. Dreyer Robert Harper Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2001-03-22 16:01:25 Type theory Data types Recursion Computability theory Recursive data type Standard ML Fixed-point combinator Lambda calculus Generic programming Theoretical computer science Applied mathematics Mathematics
60	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Combinatory logic Free variables and bound variables Natural deduction Church encoding Constructible universe Fixed-point combinator Theoretical computer science Lambda calculus Mathematical logic